(define (problem BW-generalization-4)
(:domain blocksworld-4ops)(:objects h l i g c f d a k)
(:init 
(handempty)
(ontable h)
(ontable l)
(ontable i)
(ontable g)
(ontable c)
(ontable f)
(ontable d)
(ontable a)
(ontable k)
(clear h)
(clear l)
(clear i)
(clear g)
(clear c)
(clear f)
(clear d)
(clear a)
(clear k)
)
(:goal
(and
(on h l)
(on l i)
(on i g)
(on g c)
(on c f)
(on f d)
(on d a)
(on a k)
)))